Nuprl Lemma : bool-inhabited 11,40
 
latex

Definitionst  T
Lemmasbtrue wf

origin